利用改进的HBDE算法求解MAX-k-SAT问题

目前,利用进化算法求解组合优化问题已成为智能计算领域中的研究热点。本文基于二进制差分演化算法和动态变邻域搜索相结合提出了一种求解最大可满足问题(MAX-k-SAT)的改进算法(记为IBDE),通过与遗传算法和Johnson算法对一系列随机大规模MAX-k-SAT实例的求解比较表明:IBDE是一种求解MAX-k-SAT问题非常有效的新方法。     

无约束全局优化问题的两种新的辅助函数法

填充函数法、打洞函数法和平稳点函数法是目前比较常用的求解全局优化问题的辅助函数法。本文提出两种新的辅助函数法,用于求解一般非线性规划问题的全局最优解,它不仅结合了填充函数法和打洞函数法及其平稳点函数法的特点,同时又避免了它们的一些缺点（每次求解填充函数、打洞函数和平稳点函数的局部极小点以后,还需要重新求解原问题的局部极小点）,而新的辅助函数的局部极小点就是原问题的局部极小点,不需要再求原问题的局部极小点。     

一类测度链上二阶三点边值问题对称解的存在性

本文研究了一类测度链上二阶三点微分方程边值问题xΔΔ(t)+f(t,x(t))=0,t∈(0,1)∩T,x(0)=x(1),xΔ(0)-xΔ(1)=αx(ξ),这里,f:[0,1]×[0,∞)→[0,∞)是一连续函数,满足对称性条件f(t,x)=f(1-t,x),0,1,ξ∈T,0ξ1,α1/(ξ-ξ2)。借助不动点指数性质的应用获得了3个对称正解的存在性。     

一类在幼年时期传播的SIS传染病模型分析

利用微分方程的稳定性理论与传染病模型的理论知识,研究了一类仅在幼年时期传播的SIS传染病模型,讨论了系统在平衡点处的稳定性态.并通过构造Liapunov函数,得到了系统在无病平衡点与地方病平衡点处全局渐近稳定的阈值.     

关于丢番图方程x(x+1)(x+2)=2p~ky~n的解

设p是奇素数,利用初等方法证明了:当k≥2,n2,且都是整数,则丢番图方程x(x+1)(x+2)=2pKyn没有正整数解(p,x,y).     

一类非线性复合变型Bessel方程组边值问题的相似构造解法

针对一类非线性复合变型Bessel方程组的边值问题的解进行了深入的分析和研究,得到了方程组在三种外边界条件下(无穷大、定解、封闭)解式的相似结构和相似核函数,并通过对相似结构进一步地归纳提出了一种求解该类边值问题的新方法——相似构造法.     

含参数形式的鞍点问题SOR-LIKE求解方法

在求解鞍点问题的迭代方法SOR-LIKE算法中,通过引入参数构造出系数矩阵的一般化分裂算法,运用矩阵理论分析该算法的收敛性,并用数值实验来检验迭代法的收敛性.     

一种新的四阶自治超混沌系统的生成及特性分析

在一个三阶自治混沌系统的基础上,通过添加一个控制变量生成了一个新的四阶自治超混沌系统,并研究了此超混沌系统的平衡点、李雅普诺夫指数、相图等动力学特性。当导数的阶数变为3.6阶时,此超混沌系统变为分数阶超混沌系统,利用预估-校正方法,对此分数阶超混沌系统进行了数值仿真,通过生成的相图证明了此分数阶超混沌系统仍然表现出超混沌动力学行为。     

线性互补问题的一个新的迭代算法

在M的特征值大于1的假设下,把线性互补问题转化成绝对值方程组.利用绝对值方程组的迭代法,给出了线性互补问题的一种新的迭代法并且证明了该迭代算法的收敛性.用数值例子说明了该方法可行.     

一类新的光滑函数及求解非线性互补问题的光滑牛顿算法

本文构造了非线性互补问题的一类新的光滑函数,利用新的光滑函数将非线性互补问题转化为非线性方程组。然后提出了求解一般非线性互补问题的光滑化牛顿算法,并且证明了算法的全局和局部收敛性。